The Minimal Finite Model Visualization as an Ontology Debugging Tool
نویسندگان
چکیده
We present an new Protégé plugin for constructing a minimal satisfiability model of an OWL ontology and visualizing it in the original music score notation.
منابع مشابه
Designing an Ontology for Knowledge Discovery in Iran’s Vaccine
Ontology is a requirement engineering product and the key to knowledge discovery. It includes the terminology to describe a set of facts, assumptions, and relations with which the detailed meanings of vocabularies among communities can be determined. This is a qualitative content analysis research. This study has made use of ontology for the first time to discover the knowledge of vaccine in Ir...
متن کاملDebugging of ALC-Ontologies via Minimal Model Generation
This short abstract revises a procedure for the generation of minimal models for propositional modal logics, and explains how it can be used for ALC-ontology debugging.
متن کاملLemmas for Justifications in OWL
Over the past few years there has been a significant amount of interest in the area of debugging and repairing of OWL ontologies. The process of debugging an ontology is necessary in the same way that debugging programme code is necessary – that is, debugging takes place in order to eradicate faults. In terms of ontology debugging, the faults manifest themselves as undesirable entailments. In p...
متن کاملروششناسی ساخت و طراحی هستینگاشتها:مورد پژوهی حوزه علمسنجی
Ontology is a useful tool for organizing resources and on the other hand is a useful tool for the knowledge representation. With the development of Semantic Web technologies, build and create ontologies to expedite the process, it is necessary. The aim of study is explaining the situation methodology, designing scientometrics conceptual model, and steps of its ontology construction as Scientome...
متن کاملSatisfiability Model Visualization Plugin for Deep Consistency Checking of OWL Ontologies
We present an original Protégé plugin developed for the deep consistency checking of OWL ontologies. The plugin constructs and visualizes a minimal satisfiability model of the ontology, which is likely to uncover potential ontological errors: if the constructed model contradicts the author’s intentions, then the ontology itself is either wrong or incomplete. A satisfiability model is generated ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007